
#ifndef HOBBES_DB_SIGNALS_HPP_INCLUDED
#define HOBBES_DB_SIGNALS_HPP_INCLUDED

#include <hobbes/eval/cc.H>

namespace hobbes {

void initSignalsDefs(FieldVerifier*,cc&);

}

#endif

